The Logic of 'If-Then' Propositions
نویسندگان
چکیده
منابع مشابه
Linear Reduction of First-order Logic to the If-then-else Equational Logic
We show that Hilbert type proof systems for classical firstorder logic can be reduced to if-then-else equational logic without losing any substantial efficiency: i.e., for any such proof system H, there exist constants k1, k2 > 0 such that for any proof ψ with size ` in H, there exists a corresponding proof ψ̄ in the if-then-else equational proof system, denoted ITE, with size less than or equal...
متن کاملEven if after If then conditionals
This study evaluates how people represent “even if” conditionals when they have to integrate them with previous “if then” conditionals and also make an inference. The terms in the premises were ordered to facilitate their integration (Figure 1: If A then B; Even if B C). In half the cases, the “even if” conditional was expressed with a negation instead of an affirmation (If A then B; Even if no...
متن کاملIf intelligence is uncomputable , then ... *
I want to propose an abstract model of the human mind that is, to the human mind, a bit like what a Euclidean rectangle is to a farmers field. I want to show why intelligence, in this model, requires a particular kind of uncomputability the kind that Gold [2] has called computability in the limit. This observation has implications for Computer Science and Cognitive Science if my abstract mod...
متن کاملIf it were then, then when was it? Establishing the anaphoric role of then
The adverb ”then” is among the most frequent English temporal adverbs, being also capable of filling a variety of semantic roles. The identification of anaphoric usages of ”then” is important for temporal expression resolution, while the temporal relationship usage is important for event ordering. Given that previous work has not tackled the identification and temporal resolution of anaphoric ”...
متن کاملLogical structure of fuzzy IF-THEN rules
This paper provides a logical basis for manipulation with fuzzy IF-THEN rules. Our theory is wide enough and it encompasses not only finding a conclusion by means of the compositional rule of inference due to Lotfi A. Zadeh but also other kinds of approximate reasoning methods, e.g. perception-based deduction, provided that there exists a possibility to characterize them within a formal logical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informal Logic
سال: 1986
ISSN: 0824-2577,0824-2577
DOI: 10.22329/il.v8i3.2692